Zero-Knowledge Proof for Scaling